Crate risc0_zkp_core

source · [−]
Expand description

risc0_zkp_core

This crate contains the core objects that are used by the ZK-STARK prover and verifier.

This includes support for:

  • fp: the base finite field
  • fp4: the extension finite field
  • ntt: Number Theoretic Transform
  • sha: SHA256 hashing support
  • sha_rng: Cryptographic Random Number Generator (CRNG) based on SHA
  • other basic ZKP utilities

Modules

fp

Support for the base finite field modulo 15*2^27 + 1

fp4

Support for the rank 4 extension field of the base field.

ntt

Very basic utilites to help implement NTT, used only in the verifier.

poly

Polynomial utilites (currently only evaluation).

rou

Tables containing the root of unity for the base field.

sha

Simple SHA-256 wrappers.

sha_cpu

Simple SHA-256 wrappers.

sha_rng

A SHA-256 based CRNG used in Fiat-Shamir

Functions

to_po2

For x = (1 << po2), given x, find po2.